All public logs

Jump to navigation Jump to search

Combined display of all available logs of The fun Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

Logs
(newest | oldest) View ( | older 50) (20 | 50 | 100 | 250 | 500)
  • 08:33, 21 July 2022 Hamster talk contribs created page 关于 fun (Created page with "fun是一种用于结构化组合图归约的开放规范指令集架构(ISA),最初由上海交通大学电子信息与电气工程学院开发。它的目标是将功...")
  • 07:48, 21 July 2022 Hamster talk contribs created page About fun (Created page with "fun is an open-specification instruction-set architecture (ISA) for structured combinator graph reduction, originally developed at the School of Electronic Information and Ele...")
  • 07:43, 21 July 2022 Hamster talk contribs created page Code of Conduct (Created page with " = Contributor Covenant Code of Conduct = == Our Pledge == We as members, contributors, and leaders pledge to make participation in our community a harassment-free experienc...")
  • 15:12, 20 July 2022 Hamster talk contribs created page Lam2Combi (Created page with "'''This article is a stub, and is currently a work in progress''' In this tutorial we will show how to translate lambda terms into structured combinators, by building a simpl...")
  • 12:43, 3 May 2022 Hamster talk contribs uploaded File:Fib.png
  • 12:43, 3 May 2022 Hamster talk contribs created page File:Fib.png
  • 12:32, 3 May 2022 Hamster talk contribs created page Hanoi Towers (Created page with " == Source == data Bool = False | True ; data List = Cons x y | Nil ; data Pair = Pair a b; -- put x = out (extern 0x10a1fafa) x; -- printlist xs z = xs (z)...")
  • 12:31, 3 May 2022 Hamster talk contribs uploaded File:Hanoi.png
  • 12:31, 3 May 2022 Hamster talk contribs created page File:Hanoi.png
  • 12:22, 3 May 2022 Hamster talk contribs created page Fibs and Facts (Created page with "Fibonacci and Factorial are two of the basic examples for functional programming languages. Here we show their implementation in Wu. == Fibonacci == fib n = (> 2 n) 1 (+ 1...")
  • 12:10, 3 May 2022 Hamster talk contribs created page Sorting (Created page with "In 1998, Lex Augusteijn published a now-classic paper entitled "[https://doi.org/10.1007/10704973_1 Sorting Morphisms]", where he redefined common sorting algorithms in terms...")
  • 11:09, 3 May 2022 Hamster talk contribs created page Algebraic Data Structures (Created page with "Algebraic data types are a fundamental part of modern functional programming languages, which allows the definition of complex composite types. They are algebraic, as are buil...")
  • 09:09, 3 May 2022 Hamster talk contribs created page Fizzbuzzing (Created page with "'''This article is a stub, and is currently a work in progress''' [https://en.wikipedia.org/wiki/Fizz_buzz FizzBuzz] is a common toy program for screening candidates on inte...")
  • 08:18, 3 May 2022 Hamster talk contribs created page Combinator Pearls (Created page with "This page lists programming examples for fun and ''functional pearls'', programs that albeit simple can show and teach interesting principles and techniques. *Fibs and Fact...")
  • 07:46, 3 May 2022 Hamster talk contribs created page Publications (Created page with "This page lists publications, theses and talks about ''fun'' and related topics. == 2018 == Cecil Accetti, Eshton Robateau and Peilin Liu. "Tackling Computer Security Issu...")
  • 06:01, 3 May 2022 Hamster talk contribs uploaded File:Logo-sjtu-red.png
  • 06:01, 3 May 2022 Hamster talk contribs created page File:Logo-sjtu-red.png
  • 06:01, 3 May 2022 Hamster talk contribs created page File:Logo-batc.png
  • 06:01, 3 May 2022 Hamster talk contribs uploaded File:Logo-batc.png
  • 12:24, 26 April 2022 User account Eor talk contribs was created by Hamster talk contribs (new)
  • 11:32, 26 April 2022 Hamster talk contribs created page Structured Combinators (Created page with "<strong>Structured Combinators</strong>")
  • 10:15, 26 April 2022 MediaWiki default talk contribs created page Main Page
(newest | oldest) View ( | older 50) (20 | 50 | 100 | 250 | 500)