Idris2/libs
2021-09-14 12:07:44 +01:00
..
base Add function that checks whether a file handle points to a TTY device. (#1908) 2021-09-10 08:05:21 +01:00
contrib invFin: export ~> public export and invFinSpec (#1890) 2021-09-10 16:06:11 +01:00
network [fix] Loading libidris2_support.dll with Racket (#1583) 2021-07-21 14:35:21 +01:00
prelude [ prelude ] Implement Semigroup for ordinary pairs 2021-09-03 18:00:03 +01:00
test Add chez-scheme to chez search path (#1921) 2021-09-14 12:07:44 +01:00