idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-01 01:09:03 +03:00
Code Issues Projects Releases Wiki Activity
5eb86af435
Idris2/support
History
Edwin Brady ca28dab1d7 Add finalisers for Racket back end 
Like Chez, we also need an explicit call to the garbage collector at the
end to ensure that all the finalisers get run on exit.
2020-06-08 22:13:24 +01:00
..
c Use GetSystemTimeAsFileTime on older Windows 2020-06-02 10:30:44 +08:00
chez Add finalisers to Chez back end 2020-06-08 20:34:23 +01:00
gambit Add Bits primitives 2020-06-01 11:48:03 +01:00
racket Add finalisers for Racket back end 2020-06-08 22:13:24 +01:00