Open guicho271828 opened 7 years ago
Using cl-parametric-types. Take advantage of speed (by static dispatch) and flexibility. Not really meant to aim at correctness/proof of the program.
Using cl-parametric-types. Take advantage of speed (by static dispatch) and flexibility. Not really meant to aim at correctness/proof of the program.