Bay Raktar
Bay Raktar
(currently) the `Ligaturizer` is based on usage of OTF variants of `FiraCode` recently the upstream has dropped generating the OTFs into `distr` directory, thus making usage of `Ligaturizer` impossible against...
There are files with terms in this directory (to be root) in the commit https://github.com/groupoid/om/tree/ac585365a69d8dcd6c43a31a424486d5718c2522/priv/barbers/Hurkens/lambda (also available as a gist here https://gist.github.com/zraffer/dc90b5d076eda6156277 ), a few of which take a very...
Currently there are no explanation how to attach this backend to Idris (neither in README nor in the wiki). I'd like to try it, but have no clue how to...