idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-12 12:14:05 +03:00
Code Issues Projects Releases Wiki Activity
2,138 Commits 5 Branches 9 Tags 109 MiB
a6555549ee
Commit Graph

3 Commits

Author SHA1 Message Date
madman-bob
98d67499db
RefC Integer Support (#1480) 
* Add utility functions to treat All as a heterogeneous container
* Distinguish RefC Int and Bits types
* Change RefC Integers to be arbitrary precision
* Add RefC Bits maths operations
* Make RefC div and mod Euclidean
* Add RefC bit-ops tests
* Add RefC integer comparison tests
* Add RefC IntN support
 2021-06-03 10:44:42 +01:00
John Mager
fc76b5a73c Add make test to nix ci 2021-04-19 11:23:58 +01:00
Guilherme Silva
4144510bb3
Added new nix functionalities (#1154) 2021-03-15 14:21:50 +00:00