[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Parse error for equations

Subject: Re: Parse error for equations
From: Chris Warburton
Date: Tue, 20 Feb 2018 14:16:18 +0000
In-reply-to: <b2957b049a17b4ed-0-artemis@nixos>
References: <b2957b049a17b4ed-0-artemis@nixos>

We now curry multi-argument lambdas. Also fixed some other issues about
de Bruijn indices, free/bound overlaps, etc.

References:
- Parse error for equations
  - From: Chris Warburton

Prev by Date: Re: Parse error for equations
Next by Date: Re: Scrap compatibility junk from scripts/default.nix
Previous by thread: Re: Parse error for equations
Index(es):
- Date
- Thread