An error occurred while fetching folder content.
Select Git revision
pugs
Stéphane Del Pino
authored
Scalar functions now work slightly. It remains to - cast arguments whenever necessary - compute the right returned value type In short: `` let inc : Z -> Z, i -> i+1; cout << inc(2) << "\n"; // produces 3 cout << inc(2.3) << "\n"; // fails: conversion NIY ``
Name | Last commit | Last update |
---|