For examples of proofs in APL/J, see:
- *Notation as a Tool of Thought <http://www.jsoftware.com/papers/tot.htm>*, starting at section 1.5 - *88 Hats <http://www.jsoftware.com/jwiki/Essays/88%20Hats>* - *Symmetric Array <http://www.jsoftware.com/jwiki/Essays/Symmetric%20Array>* - *The Ball Clock Problem <http://www.jsoftware.com/jwiki/Essays/The%20Ball%20Clock%20Problem>* - *Symmetries of the Square <http://www.jsoftware.com/jwiki/Essays/Symmetries%20of%20the%20Square>* And many others. On Sat, Mar 1, 2014 at 7:55 PM, km <[email protected]> wrote: > One "identity" in J is that ([: f g) -: f@:g (always returns 1). What > are some others? > > --Kip Murray > > Sent from my iPad > > > On Mar 1, 2014, at 8:41 PM, Raul Miller <[email protected]> wrote: > > > > Two languages which go even more heavily into "proof" territory are (if I > > recall correctly) Agda, and Coq. > > > > They also have some interesting aspects that I would like to see in a "J > > subset compiler". > > > > Thanks, > > > > -- > > Raul > > > > > > On Sat, Mar 1, 2014 at 8:30 PM, David Lambert <[email protected] > >wrote: > > > >> Mentioning "proof" in j conversation rolls easily off the pen. Not so > >> with other computer languages I've used. > >> > >> (,&#~.) HASHES NB. prove the hashes are unique. (tallies agree) > >> 6 6 > >> > >> http://forums.devshed.com/showpost.php?p=2927271&postcount=4 > >> ---------------------------------------------------------------------- > >> For information about J forums see http://www.jsoftware.com/forums.htm > > ---------------------------------------------------------------------- > > For information about J forums see http://www.jsoftware.com/forums.htm > ---------------------------------------------------------------------- > For information about J forums see http://www.jsoftware.com/forums.htm > ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
