Skip to content

feat(tests): port TS tests to Idris2 (estate port 7/11)

ecfce99
Select commit
Loading
Failed to load commit list.
Merged

feat(tests): port TS tests to Idris2 (estate port 7/11) #60

feat(tests): port TS tests to Idris2 (estate port 7/11)
ecfce99
Select commit
Loading
Failed to load commit list.