Exploring your loaded emacs libraries (spacemacs)
file:lpkg-explorer.el These functions are designed basically for use in a lisp interaction session, where more variants may easily be tailored for your needs .
My main purpose here is to detect potential org-mode conflicts between built-in (typically older) and user local versions.
| {-# language ScopedTypeVariables, ViewPatterns, DeriveFunctor #-} | |
| import Data.Semigroup | |
| data Bin a = Bin a (Bin a) (Bin a) | L a deriving (Eq,Functor, Show) | |
| -- set everywhere the monoidal sum of the tree values, traversing once | |
| setSum :: forall a. Semigroup a => Bin a -> Bin a | |
| setSum t = r where |
| use std::rc::Rc; | |
| trait HKT<U> { | |
| type C; // Current type | |
| type T; // Type with C swapped with U | |
| } | |
| macro_rules! derive_hkt { | |
| ($t:ident) => { | |
| impl<T, U> HKT<U> for $t<T> { |
| -- http://www.cs.ox.ac.uk/ralf.hinze/SSGIP10/AdjointFolds.pdf | |
| -- http://www.cs.ox.ac.uk/ralf.hinze/publications/SCP-78-11.pdf | |
| -- https://www.cs.ox.ac.uk/people/nicolas.wu/papers/URS.pdf | |
| -- https://arxiv.org/pdf/2202.13633.pdf | |
| {-# LANGUAGE | |
| MultiParamTypeClasses | |
| , FunctionalDependencies | |
| , GADTs | |
| , PolyKinds |
| #if INTERACTIVE | |
| #r "System.Xml" | |
| #r "System.Xml.Linq" | |
| #endif | |
| open System | |
| open System.IO | |
| open System.Xml.Linq | |
| open System.Text.RegularExpressions |
